201. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
202. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
203. Towards an formal description of Ada
پدیدآورنده : Bjorner, Dines, 7391- ed
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A35
.
B5
204. Understanding Ada
پدیدآورنده : Shumate, Kenneth C
موضوع : ، Ada )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
205. Understanding concurrency in Ada
پدیدآورنده : Ken Shumate
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Ada (Computer program language)
رده :
QA
،
76
.
73
،.
A35
,
S483
،
1988
